Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 2 of 2 (0.024 secs)
You searched for: subject:"recursively enumerable"
[texts]mit :: lcs :: tm :: MIT-LCS-TM-016
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-016
Keywords: random; sequences; sequence; definition; theorem; recursive; sequential; infinite; set; function; sequential test; random sequences; place selection; recursively enumerable; characteristic function; recursive function; finite number; null set; infinite sequences; sequential tests
Downloads: 53 (1 review)
[texts]mit :: lcs :: tr :: MIT-LCS-TR-077
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-077
Keywords: proof; canonic; canon; system; recursive; canons; provable; theorem; axiom; systems; post system; inverse systems; canonic system; recursive sets; canonic systems; proof measure; algebraic system; measure functions; indicated context; recursively enumerable
Downloads: 44
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related creators

Related mediatypes

texts

Terms of Use (10 Mar 2001)